Coordinating Action Systems
نویسندگان
چکیده
We develop an action systems based approach that supports the separation of design of the functional or computation aspects of a system under construction from the coordination and synchronisation issues. The computation aspects are modelled as nondeterministic actions that work in parallel with the coordination actions, which impose some control on this nondeterministic part. We de ne a special form of action systems that models this type of coordination activity. Certain forms of real time scheduling and coordination as well as exception handling are shown to be special cases of our approach. We show how the coordinators can be stepwise brought about from a high-level speci cation of the target system and how the reasoning about their behaviours is carried out separately from the computation aspects of the system within the re nement calculus.
منابع مشابه
Coordinating Between Medical Professions’ Tasks to Optimize Sub-Saharan Health Systems: A Response to Recent Commentaries
متن کامل
Metal-Ion-Coordinating Properties of Various Amino Acids, Investigation of the Essential Function in Biological Systems regarding to their Nano-Structure
The acidity constants of some amino acids (Am) were determined by potentiometric pH titration. The stability constants of the 1:1 complexes formed between M2+: Ca2+, Mg2+, Mn2+, Co2+, Ni2+, Cu2+ or Zn2+ and Am2-, were determined by potentiometric pH titration in aqueous solution (I = 0.1 M, NaNO3, 25°C). The order of the stability constants was reported. It is shown that the stability of the bi...
متن کاملA bi-level programming approach to coordinating pricing and ordering decisions in a multi-channel supply chain
This paper investigates the Stackelberg equilibrium for pricing and ordering decisions in a multi-channel supply chain. We study a situation where a manufacturer is going to open a direct online channel in addition to n existing traditional retail channels. It is assumed that the manufacturer is the leader and the retailers are the followers. The situation has a hierarchical nature and...
متن کاملMetal-Ion-Coordinating Properties of Various Amino Acids, Investigation of the Essential Function in Biological Systems regarding to their Nano-Structure
The acidity constants of some amino acids (Am) were determined by potentiometric pH titration. The stability constants of the 1:1 complexes formed between M2+: Ca2+, Mg2+, Mn2+, Co2+, Ni2+, Cu2+ or Zn2+ and Am2-, were determined by potentiometric pH titration in aqueous solution (I = 0.1 M, NaNO3, 25°C). The order of the stability constants was reported. It is shown that the stability of the bi...
متن کاملCoordinating Order Acceptance and Batch Delivery for an Integrated Supply Chain Scheduling
This paper develops Order Acceptance for an Integrated Production-Distribution Problem in which Batch Delivery is implemented. The aim of this problem is to coordinate: (1) rejecting some of the orders (2) production scheduling of the accepted orders and (3) batch delivery to maximize Total Net Profit. A Mixed Integer Programming is proposed for the problem. In addition, a hybrid meta-heuristic...
متن کاملMidline governs axon pathfinding by coordinating expression of two major guidance systems.
Formation of the neural network requires concerted action of multiple axon guidance systems. How neurons orchestrate expression of multiple guidance genes is poorly understood. Here, we show that Drosophila T-box protein Midline controls expression of genes encoding components of two major guidance systems: Frazzled, ROBO, and Slit. In midline mutant, expression of all these molecules are reduc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 240 شماره
صفحات -
تاریخ انتشار 1997